Empirical Evaluations of Usage-Based Reading and Fault Content Estimation for Software Inspections

This thesis describes six empirical investigations of two techniques applied to software inspections, namely reading techniques and fault content estimation techniques. The first part of the thesis presents a series of experiments of a novel reading technique called usage-based reading. The second part investigates fault content estimation applied to the software inspection process. The estimation methods used are capture-recapture and curve fitting.     

包钢热电厂综合管理信息系统

本文论述了包钢热电厂综合管理信息系统的设计思想、功能模块、数据库和实现方法。该系统实现了生产数据及相关信息的数据采集与各类指标的管理统计、设备及材料的管理等各项业务处理，使得生产信息准确、唯一地传递，为生产经营者提供全面查询、分析、预测的依据，基本达到“无纸办公”的水平。     

VB在水利水电工程造价软件开发中的应用

通过对水利水电工程造价系统功能需求的分析和对定额库结构的剖析与设计，应用VisualBasic6．0(vB)编程的ADO技术，实现对定额数据库的操作，应用VB的类抽象定额的实体对象，简化水利水电工程造价计算。该系统采用VB的数据环境及数据报表制作成果的输出报表，应用VB的ActiveX（TM)技术实现对Excel、Word的使用。     

COPART:一种面向约束条件的自适应软硬件划分算法

本文介绍一种将自适应算法、遗传算法和列表调度算法结合起来应用于软硬件划分问题的算法COPARTART，并提出了一种基于约束条件的开销系数自适应调整方法，该方法所获得的划分结果能够良好体现设计目标。     

移动式数据挖掘平台模型

本文提出了一种移动式网络海量数据挖掘平台，给出了数据挖掘任务的形式化描述，详细讨论了平台的体系结构、工作原理与流程。该平台克服了传统网络计算模式的缺陷，支持对异质、分散数据源和知识源的挖掘和检索，具有开放性、可伸缩性、灵活性、可扩展性、健壮性。     

Parallelization of WHILE loops on pipelined architectures

Modulo scheduling theory can be applied successfully to overlap Fortran DO loops on pipelined computers issuing multiple operations per cycle both with and without special loop architectural support. This paper shows that a broader class of loops—REPEAT-UNTIL, WHILE, and loops with more than one exit, in which the trip count is not known beforehand—can also be overlapped efficiently on multiple-issue pipelined machines. The approach is described with respect to a specific machine model, but it can be extended to other models. Special features in the architecture, as well as compiler representations for accelerating these loop constructs, are discussed. Performance results are presented for a few select examples.An earlier version of this paper was presented at Supercomputing '90.     

基于COM的通信对抗仿真软件设计

组件对象模型(COM)是开发和使用组件组装程序的标准，通过GUID来标记COM对象．一个组件包合多个COM对象，每个COM对象可实现多个接口．活动模板库(ATL)是一组基于C 模板的类，提供了许多基本COM接口的内置支持，用于简化COM组件的创建．通信对抗系统由信号源、编码器、发射机、信道、干扰机、接收机、解码器和分析评估显示等模块组成，基于COM的仿真软件中将其设计为3大类组件，并为主程序(即客户)调用的服务提供了数据输入／输出、模块参数设置、开始执行仿真、数据处理完毕等5个统一接口，通过组合就可得到不同类型的通信对抗仿真系统．     

模块化软件开发的标准化内涵和优势分析

简述了模块化理论的基本观点，着重从消费者和生产者两个角度分析了实施软件模块化开发的优势，指出了模块化开发的标准化内涵，揭示了软件开发方法上的模块化趋势。     

计算机技术在电子装备测试系统中的应用研究

在现代测试技术快速发展的今天，计算机已成为武器装备自动测试系统中不可缺少的重要组成部分。高性能的计算机软件技术更是构建智能型、集成化自动测试系统的关键所在。分析了先进的软件技术在自动测试系统中的应用状况；并以导弹地面测量雷达系统为例，具体介绍了利用系统仿真方法进行装备自动检测的技术实现。     

五轴铣削加工中心坐标转换数学模型的建立及应用

首先以 HERMLE C1200 U 为例分析了五轴铣削加工中心的基本结构,然后据此给出了涉及多轴铣削加工中心后置处理角度分配和坐标变换的数学模型,最后介绍了以此数学模型为核心,为UG 软件开发的后置处理软件 UG-HERP1.0的解决方案。